Login
   

e/ExSpecT

New Query

Information
has glosseng: ExSpecT (Executable Specification Tool) is a process modelling tool based on high level Petri nets.
lexicalizationeng: ExSpecT
instance ofc/Formal methods tools

Query

Word: (case sensitive)
Language: (ISO 639-3 code, e.g. "eng" for English)

Lexvo © 2008-2025 Gerard de Melo.   Contact   Legal Information / Imprint