Back to Results
First PageMeta Content
OSI protocols / Science / Logic in computer science / Linear temporal logic / Process management / Business Process Model and Notation / Logic / Workflow / XML / Temporal logic / Computing / Workflow technology


LTL Formalization of BPML Semantics and Visual Notation for Linear Temporal Logic Marco Brambilla
Add to Reading List

Document Date: 2005-01-24 06:26:34

Open Document

File Size: 366,18 KB

Share Result on Facebook

City

Milano / /

Country

Italy / /

Currency

LTL / /

/

IndustryTerm

interactive Web applications / technology aspects / Web applications / e-commerce application / workflow-based Web applications / process-centric applications / Web application specification language / interactive Web server / Web application introductory description / Web page schema / Web page schemas / Web page transitions / Web application definition / data-centric applications / Web application diagrams / software tools / Web application formal definition / Web application / business to business / /

Organization

Politecnico di Milano / /

Position

Manager Richiesta / existing model / like WebML / /

ProgrammingLanguage

XSLT / XML / HTML / /

Technology

XML / JSP / HTML / Web server / XSLT / /

SocialTag