( en | de | ru )

 

Disambiguierung von "Gargantini, Angelo"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
TRIO Specification of a Steam Boiler Controller.

, und . Formal Methods for Industrial Applications, Volume 1165 von Lecture Notes in Computer Science, Seite 218-232. Springer, (1995)

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.

Angelo Jotzoff

Angelo Jotzoff

Angelo Geissen

Angelo Schmandra

Angelo Brayner

 

Weitere Publikationen von Autoren mit dem selben Namen

Closing the gap between the specification and the implementation: the ASMETA way., , und . Models: Concepts, Theory, Logic, Reasoning and Semantics, Seite 242-263. College Publications, (2018)Using Spin to Generate Testsfrom ASM Specifications., , und . Abstract State Machines, Volume 2589 von Lecture Notes in Computer Science, Seite 263-277. Springer, (2003)TRIO Specification of a Steam Boiler Controller., und . Formal Methods for Industrial Applications, Volume 1165 von Lecture Notes in Computer Science, Seite 218-232. Springer, (1995)An Environment for Domestic Supervised Amblyopia Treatment., , und . HCI (20), Volume 8529 von Lecture Notes in Computer Science, Seite 340-350. Springer, (2014)A Mobile Application for the Stereoacuity Test., , und . HCI (17), Volume 9185 von Lecture Notes in Computer Science, Seite 315-326. Springer, (2015)An Abstraction Technique for Testing Decomposable Systems by Model Checking., , und . TAP, Volume 8570 von Lecture Notes in Computer Science, Seite 36-52. Springer, (2014)A Concrete Syntax Derived From the Abstract State Machine Metamodel., , , , und . Abstract State Machines, Seite 345-368. (2005)Evolutionary Testing of PHP Web Applications with WETT., , , und . SSBSE, Volume 7515 von Lecture Notes in Computer Science, Seite 285-291. Springer, (2012)Using Model Checking to Generate Tests from Requirements Specifications., und . ESEC / SIGSOFT FSE, Volume 1687 von Lecture Notes in Computer Science, Seite 146-162. Springer, (1999)A random dot stereoacuity test based on 3D technology., , und . PervasiveHealth, Seite 358-361. ICST, (2014)