{"_id":"3rFy4ot6TbL3xS2JB","bibbaseid":"gauthier-bouquet-hammad-peureux-asysmlformalframeworktocombinediscreteandcontinuoussimulationfortesting-2015","downloads":0,"creationDate":"2016-02-17T10:30:08.365Z","title":"A SysML formal framework to combine discrete and continuous simulation for testing","author_short":["Gauthier, J.","Bouquet, F.","Hammad, A.","Peureux, F."],"year":2015,"bibtype":"inproceedings","biburl":"https://bibbase.org/zotero/SilverSylvester","bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"A SysML formal framework to combine discrete and continuous simulation for testing","booktitle":"International Conference on Formal Engineering Methods","publisher":"Springer","author":[{"propositions":[],"lastnames":["Gauthier"],"firstnames":["Jean-Marie"],"suffixes":[]},{"propositions":[],"lastnames":["Bouquet"],"firstnames":["Fabrice"],"suffixes":[]},{"propositions":[],"lastnames":["Hammad"],"firstnames":["Ahmed"],"suffixes":[]},{"propositions":[],"lastnames":["Peureux"],"firstnames":["Fabien"],"suffixes":[]}],"year":"2015","keywords":"⛔ No DOI found","pages":"134–152","bibtex":"@inproceedings{gauthier_sysml_2015,\n\ttitle = {A {SysML} formal framework to combine discrete and continuous simulation for testing},\n\tbooktitle = {International {Conference} on {Formal} {Engineering} {Methods}},\n\tpublisher = {Springer},\n\tauthor = {Gauthier, Jean-Marie and Bouquet, Fabrice and Hammad, Ahmed and Peureux, Fabien},\n\tyear = {2015},\n\tkeywords = {⛔ No DOI found},\n\tpages = {134--152},\n}\n\n","author_short":["Gauthier, J.","Bouquet, F.","Hammad, A.","Peureux, F."],"key":"gauthier_sysml_2015","id":"gauthier_sysml_2015","bibbaseid":"gauthier-bouquet-hammad-peureux-asysmlformalframeworktocombinediscreteandcontinuoussimulationfortesting-2015","role":"author","urls":{},"keyword":["⛔ No DOI found"],"metadata":{"authorlinks":{}},"html":""},"search_terms":["sysml","formal","framework","combine","discrete","continuous","simulation","testing","gauthier","bouquet","hammad","peureux"],"keywords":["⛔ no doi found"],"authorIDs":[],"dataSources":["XA98H7MrAfSrDfP6g","YCBcQPneB9oxahSnp"]}