Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Verification of cooperating systems - an approach based on formal languages

 
: Ochsenschläger, P.; Repp, J.; Rieke, R.

Etheredge, J.:
Thirteenth International Florida Artificial Intelligence Research Society Conference 2000. Proceedings : Hotel Royal Plaza, Orlando, Florida, 22 - 24 May 2000
Menlo Park: AAAI Press, 2000
ISBN: 1-577-35113-4
S.346-350
International Florida Artificial Intelligence Research Society Conference (FLAIRS) <13, 2000, Orlando/Fla.>
Englisch
Konferenzbeitrag
Fraunhofer SIT ()
formal language

: http://publica.fraunhofer.de/dokumente/2004931727.html