Travelled to:1 × Canada
1 × USA
Collaborated with:P.Koopman M.Leung T.Mandl E.A.Lee C.P.Shelton S.Tripakis B.Lickly
Talks about:sequenc (1) scalabl (1) ontolog (1) languag (1) diagram (1) system (1) semant (1) repres (1) lattic (1) formal (1)
Person: Elizabeth Latronico
DBLP: Latronico:Elizabeth
Contributed to:
2009
2001Wrote 2 papers:
- MoDELS-2009-LeungMLLSTL #ontology #scalability #semantics #using
- Scalable Semantic Annotation Using Lattice-Based Ontologies (MKL, TM, EAL, EL, CPS, ST, BL), pp. 393–407.
- UML-2001-LatronicoK #diagrams #embedded #formal method #representation #sequence chart
- Representing Embedded System Sequence Diagrams as a Formal Language (EL, PK), pp. 302–316.