A formal protocol specification with predicate/transition nets
| Zugehörige Institution(en) am KIT | Institut für Datenverarbeitung in der Technik (IDT) |
| Publikationstyp | Vortrag |
| Publikationsjahr | 1990 |
| Sprache | Englisch |
| Identifikator | KITopen-ID: 240028124 |
| HGF-Programm | 18.01.05 (Vor POF, LK 01) |
| Erscheinungsvermerk | Haapanen, P.J. [Hrsg.] Artificial Intelligence in Nuclear Power Plants: Proc.of a Symp., Helsinki, SF, October 10-12, 1989 Espoo : Valtion Teknillinen Tutkimuskeskus, 1990. - Vol. 2 (VIT Symposium ; 110) |