Search results for: Robert Simone
Lecture Notes in Computer Science > Model Driven Engineering Languages and Systems > New Language Features > 559-573
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > 396-396
Lecture Notes in Computer Science > Computer Aided Verification > Verification of Hardware, Microcode, and Synchronous Systems > 213-225
Lecture Notes in Computer Science > Static Analysis > Static Analysis of Concurrent Languages > 91-108
Lecture Notes in Computer Science > STACS 85 > 59-70
Lecture Notes in Computer Science
Lecture Notes in Electrical Engineering > Languages for Embedded Systems and their Applications > Model-Based System Specification Languages > 27-41
Lecture Notes in Electrical Engineering > Advances in Design Methods from Modeling Languages for Embedded Systems and SoC’s > UML and MDE for Embedded Systems > 3-18
Synthesis of Embedded Software > 229-262
Synthesis of Embedded Software > 41-78
Synthesis of Embedded Software > 201-227
Natural Computing > 2013 > 12 > 3 > 353-368
Innovations in Systems and Software Engineering > 2010 > 6 > 1-2 > 99-106