( en | de | ru )

 

Disambiguierung von "Krogh, Bruce H."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Formal verification of Statecharts using finite-state model checkers.

, und . ACC, Seite 313-318. IEEE, (2001)

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.

Bruce H Behrens

Wallace Kwesi Bruce-Tamakloe

Cecil Bruce-Boye

Willy Gunner Krogh-Poulsen

Georg-Friedrich Krogh

 

Weitere Publikationen von Autoren mit dem selben Namen

Context-Dependent Agents for Real-Time Scheduling in Manufacturing Systems., , und . IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 85-A (11): 2407-2413 (2002)Dynamic steering control of conventionally-steered mobile robots., und . ICRA, Seite 390-395. IEEE, (1990)Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows., und . IEEE Trans. Robotics Autom., 6 (6): 724-734 (1990)Formal Verification of Phase-locked Loops Using Reachability Analysis and Continuization, , , , , und . Communications of the ACM, 56 (10): 97--104 (Oktober 2013)Verification of Polyhedral-Invariant Hybrid Automata Using Polygonal Flow Pipe Approximations., und . HSCC, Volume 1569 von Lecture Notes in Computer Science, Seite 76-90. Springer, (1999)Verification of Supervisory Control Software Using State Proximity and Merging., , , und . HSCC, Volume 4981 von Lecture Notes in Computer Science, Seite 344-357. Springer, (2008)Software Rejuvenation for Secure Tracking Control., , , und . CoRR, (2018)Formal verification of hybrid systems using CheckMate: a case study., und . ACC, Seite 1679-1683. IEEE, (2000)Reachability Analysis of Large-Scale Affine Systems Using Low-Dimensional Polytopes., und . HSCC, Volume 3927 von Lecture Notes in Computer Science, Seite 287-301. Springer, (2006)Industry needs for embedded control education., und . ACC, Seite 4543-4550. IEEE, (2005)