( en | de | ru )

 

Disambiguierung von "Hierons, Robert M."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Local Observability and Controllability Enforcement in Distributed Testing.

, , und . QUATIC, Volume 1010 von Communications in Computer and Information Science, Seite 327-338. Springer, (2019)

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.

Robert M Zoske

Robert M Gillenkirch

Robert M Stutz

Robert M Solomon

Robert M Fraunhoffer

 

Weitere Publikationen von Autoren mit dem selben Namen

Local Observability and Controllability Enforcement in Distributed Testing., , und . QUATIC, Volume 1010 von Communications in Computer and Information Science, Seite 327-338. Springer, (2019)A Mechanised Proof of an Adaptive State Counting Algorithm., , , und . ICTSS, Volume 11812 von Lecture Notes in Computer Science, Seite 176-193. Springer, (2019)Using formal specifications to enhance the software testing process.. Brunel University London, UK, (1992)British Library, EThOS.Removing Redundant Refusals: Minimal Complete Test Suites for Failure Trace Semantics., und . LICS, Seite 1-13. IEEE, (2021)Farewell after an 11-year journey as joint editor-in-chief.. Softw. Test. Verification Reliab., (2022)Editorial: Formal methods and testing.. Softw. Test. Verification Reliab., 12 (2): 69-70 (2002)Book Review: Spin Model Checking and Software Verification, Proceedings of the 7th International SPIN Workshop, Stanford, CA, USA, By Klaus Havelund, John Penix and Willem Visser (eds.). LNCS 1885.. Softw. Test. Verification Reliab., 11 (3): 197-198 (2001)Programmer's mood and their performance., , und . ECCE, Seite 123-124. ACM, (2006)Testing Probabilistic Distributed Systems., und . FMOODS/FORTE, Volume 6117 von Lecture Notes in Computer Science, Seite 63-77. Springer, (2010)FSM quasi-equivalence testing via reduction and observing absences.. Sci. Comput. Program., (2019)