( en | de | ru )

 

Disambiguierung von "Roach, Steve"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Special session: The CS2013 Computer Science curriculum guidelines project.

, , und . FIE, Seite 1-2. IEEE Computer Society, (2012)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Matthew Roach

Steve Völler

Steve Pasek

Steve Blechschmidt

Steve Tonah

 

Weitere Publikationen von Autoren mit dem selben Namen

Special session: The CS2013 Computer Science curriculum guidelines project., , , und . FIE, Seite 1311-1313. IEEE Computer Society, (2013)Instrumentation of Intermediate Code for Runtime Verification., , , und . SEW, Seite 66. IEEE Computer Society, (2003)JavaMaC and Runtime Monitoring for Geoinformatics Grid Services., , , , und . WORDS, Seite 105-112. IEEE Computer Society, (2005)Towards Support for Software Model Checking: Improving the Efficiency of Formal Specifications., , , und . Adv. Softw. Eng., (2011)Combining learning strategies and tools in a first course in computer architecture., , und . WCAE, Seite 8. ACM, (2003)Using Patterns and Composite Propositions to Automate the Generation of LTL Specifications., , , und . ATVA, Volume 4762 von Lecture Notes in Computer Science, Seite 533-542. Springer, (2007)Using Decision Procedures to Accelerate Domain-Specific Deductive Synthesis Systems., und . LOPSTR, Volume 1559 von Lecture Notes in Computer Science, Seite 61-70. Springer, (1998)Verification of Automatically Generated Pattern-Based LTL Specifications., , , und . HASE, Seite 341-348. IEEE Computer Society, (2007)The SSP: An Example of High-Assurance Systems Engineering., , , , und . HASE, Seite 167-177. IEEE Computer Society, (2004)An Aspect-Based Approach to Checking Design Constraints at Run-Time., , , , , , und . ITNG, Seite 223-228. IEEE Computer Society, (2009)