PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Wassyng, Alan"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Impact Analysis via Reachability and Alias Analysis.

, , und . PoEM, Volume 197 von Lecture Notes in Business Information Processing, Seite 261-270. Springer, (2014)

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.

Keine Personen gefunden für den Autorennamen Wassyng, Alan
Eine Person hinzufügen mit dem Namen Wassyng, Alan
 

Weitere Publikationen von Autoren mit dem selben Namen

Formal verification of function blocks applied to IEC 61131-3., , , und . Sci. Comput. Program., (2015)Though this be madness, yet there is method in it? (Keynote).. FormaliSE@ICSE, Seite 1-7. IEEE Computer Society, (2013)Using STPA in an ISO 26262 Compliant Process., , , , und . SAFECOMP, Volume 9922 von Lecture Notes in Computer Science, Seite 117-129. Springer, (2016)Assurance via model transformations and their hierarchical refinement., , , , und . MoDELS, Seite 426-436. ACM, (2018)Large-Scale Enterprise Systems: Changes and Impacts., , , , , , , und . ICEIS, Volume 141 von Lecture Notes in Business Information Processing, Seite 274-290. Springer, (2012)On tabular expressions., und . CASCON, Seite 92-106. IBM, (2003)To do or not to do: If the requirements engineering payoff is so good, why aren't more companies doing it?, , , , , und . RE, Seite 447. IEEE Computer Society, (2005)Assurance via workflow+ modelling and conformance., , , und . CoRR, (2019)Formalizing and Verifying Function Blocks Using Tabular Expressions and PVS., , , und . FTSCS, Volume 419 von Communications in Computer and Information Science, Seite 125-141. Springer, (2013)Envisioning a Requirements Specification Template for Medical Device Software., , , und . PROFES, Volume 8892 von Lecture Notes in Computer Science, Seite 209-223. Springer, (2014)