Zobrazeno 1 - 10
of 262
pro vyhledávání: '"Boiten, E.A."'
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783540213772
IFM
Boiten, E.A.; Derrick, J.; Smith, G. (ed.), Integrated Formal Methods: 4th International Conference, IFM 2004, Cnaterbury, UK, April 4-7, 2004. Proceedings, pp. 343-362
Boiten, E.A.; Derrick, J.; Smith, G. (ed.), Integrated Formal Methods: 4th International Conference, IFM 2004, Cnaterbury, UK, April 4-7, 2004. Proceedings, 343-362. Berlin ; Hong Kong : Springer-Verlag
STARTPAGE=343;ENDPAGE=362;ISSN=0302-9743;TITLE=Boiten, E.A.; Derrick, J.; Smith, G. (ed.), Integrated Formal Methods: 4th International Conference, IFM 2004, Cnaterbury, UK, April 4-7, 2004. Proceedings
Integrated Formal Methods (Proceedings IFM 2004, Canterbury, UK, April 4-7, 2004), 343-362
STARTPAGE=343;ENDPAGE=362;TITLE=Integrated Formal Methods (Proceedings IFM 2004, Canterbury, UK, April 4-7, 2004)
IFM
Boiten, E.A.; Derrick, J.; Smith, G. (ed.), Integrated Formal Methods: 4th International Conference, IFM 2004, Cnaterbury, UK, April 4-7, 2004. Proceedings, pp. 343-362
Boiten, E.A.; Derrick, J.; Smith, G. (ed.), Integrated Formal Methods: 4th International Conference, IFM 2004, Cnaterbury, UK, April 4-7, 2004. Proceedings, 343-362. Berlin ; Hong Kong : Springer-Verlag
STARTPAGE=343;ENDPAGE=362;ISSN=0302-9743;TITLE=Boiten, E.A.; Derrick, J.; Smith, G. (ed.), Integrated Formal Methods: 4th International Conference, IFM 2004, Cnaterbury, UK, April 4-7, 2004. Proceedings
Integrated Formal Methods (Proceedings IFM 2004, Canterbury, UK, April 4-7, 2004), 343-362
STARTPAGE=343;ENDPAGE=362;TITLE=Integrated Formal Methods (Proceedings IFM 2004, Canterbury, UK, April 4-7, 2004)
We study the expressive power of two modelling formalisms, viz. hybrid automata and µCRL t . The automaton based language of hybrid automata is a popular formalism that is used for describing and analysing the behaviours of hybrid systems. The proce
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::61a4b193214a22d8928539b718baef47
https://doi.org/10.1007/978-3-540-24756-2_19
https://doi.org/10.1007/978-3-540-24756-2_19
Publikováno v:
In Science of Computer Programming 1999 33(3):261-298
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Formal Methods in Programming and Their Applications ISBN: 354057316X
Formal Methods in Programming and Their Applications
Formal Methods in Programming and their Applications (Proceedings International Conference, Academgorodok, Novosibirsk, Rusia, June 28-JUly 2, 1993), 423-433
STARTPAGE=423;ENDPAGE=433;TITLE=Formal Methods in Programming and their Applications (Proceedings International Conference, Academgorodok, Novosibirsk, Rusia, June 28-JUly 2, 1993)
Formal Methods in Programming and Their Applications
Formal Methods in Programming and their Applications (Proceedings International Conference, Academgorodok, Novosibirsk, Rusia, June 28-JUly 2, 1993), 423-433
STARTPAGE=423;ENDPAGE=433;TITLE=Formal Methods in Programming and their Applications (Proceedings International Conference, Academgorodok, Novosibirsk, Rusia, June 28-JUly 2, 1993)
It is shown how parsing can be described as a problem in the class isbes, Intersections of Sets and Bags of Extended Substructures, defined in an earlier paper, by viewing parsing as a generalization of pattern matching in several ways. The resulting
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::218dfad03cf667d35df0a255b7812fe7
https://doi.org/10.1007/bfb0039724
https://doi.org/10.1007/bfb0039724
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Boiten, E.A.
Contains fulltext : mmubn000001_135482607.pdf (Publisher’s version ) (Open Access) Promotor : H. Partsch 133 p.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::2abf30b3eb66b75a18f301b08c21aa01
https://hdl.handle.net/2066/114048
https://hdl.handle.net/2066/114048
Publikováno v:
Formal Methods in System Design; Sep2002, Vol. 21 Issue 2, p111-166, 56p
Publikováno v:
IEE Proceedings -- Software; Apr2002, Vol. 149 Issue 2, p57-63, 7p