KORRIGAN: a Formal ADL with Full Data Types and a Temporal Glue

Article

KORRIGAN: a Formal ADL with Full Data Types and a Temporal Glue

Pascal Poizat,Pascal Poizat,Jean-Claude Royer,Jean-Claude Royer-2003-01-01

2

TL;DRAbstract

KORRIGAN: a Formal ADL with Full Data Types and a Temporal Glue 28 p. Les rapports de recherche du Laboratoire de Méthodes Informatiques sont disponibles aux formats PostScript ® et PDF ® à l’URL:

Chat with Paper

AI Agents for this Paper

KORRIGAN: a Formal ADL with Full Data Types and a Temporal Glue 28 p. Les rapports de recherche du Laboratoire de Méthodes Informatiques sont disponibles aux formats PostScript ® et PDF ® à l’URL:

Keywords

GLUEComputer scienceEngineering

Chat

Click to start Chat