Formal Aspects of Computing

Công bố khoa học tiêu biểu

* Dữ liệu chỉ mang tính chất tham khảo

Sắp xếp:  
Active learning for extended finite state machines
Formal Aspects of Computing - Tập 28 - Trang 233-263 - 2016
Sofia Cassel, Falk Howar, Bengt Jonsson, Bernhard Steffen
Multitraces, hypertraces and partial order semantics
Formal Aspects of Computing - Tập 4 - Trang 649-672 - 1992
M. W. Shields
Dynamical Quantities in Net Systems
Formal Aspects of Computing - Tập 14 - Trang 55-89 - 2002
Hartmann J. Genrich
Property-directed incremental invariant generation
Formal Aspects of Computing - Tập 20 - Trang 379-405 - 2008
Aaron R. Bradley, Zohar Manna
Forthcoming events
Formal Aspects of Computing - Tập 3 - Trang 308-312 - 1991
GR(1)*: GR(1) specifications extended withexistential guarantees
Formal Aspects of Computing - - 2021
Gal Amram, Shahar Maoz, Or Pistiner
Dynamic intransitive noninterference revisited
Formal Aspects of Computing - Tập 29 - Trang 1087-1120 - 2017
Sebastian Eggert, Ron van der Meyden
Typed context awareness Ambient Calculus for pervasive applications
Formal Aspects of Computing - Tập 27 - Trang 885-916 - 2015
Douglas Pereira Pasqualin, Juliana Kaizer Vizzotto, Eduardo Kessler Piveta
Soundness of workflow nets: classification, decidability, and analysis
Formal Aspects of Computing - Tập 23 - Trang 333-363 - 2010
W. M. P. van der Aalst, K. M. van Hee, A. H. M. ter Hofstede, N. Sidorova, H. M. W. Verbeek, M. Voorhoeve, M. T. Wynn
Deductive verification of alternating systems
Formal Aspects of Computing - Tập 20 - Trang 507-560 - 2008
Matteo Slanina, Henny B. Sipma, Zohar Manna
Tổng số: 713   
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 10