| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Eerke A. Boiten, John Derrick, Jin Song Dong, Steve Reeves |
Editorial.  |
Formal Asp. Comput.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Anh Tuan Luu, Jun Sun 0001, Yang Liu, Jin Song Dong, Xiaohong Li, Quan Thanh Tho |
SeVe: automatic tool for verification of security protocols. |
Frontiers of Computer Science in China |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Nwe Ni Tun, Jin Song Dong, Satoshi Tojo |
A philosophy-driven entity classification and enrichment for ontology mapping. |
Expert Systems |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jun Sun 0001, Yang Liu 0003, Songzheng Song, Jin Song Dong, Xiaohong Li |
PRTS: An Approach for Model Checking Probabilistic Real-Time Hierarchical Systems. |
ICFEM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Tian Huat Tan, Yang Liu 0003, Jun Sun 0001, Jin Song Dong |
Verification of Orchestration Systems Using Compositional Partial Order Reduction. |
ICFEM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Manchun Zheng, Jun Sun 0001, Yang Liu, Jin Song Dong, Yu Gu 0001 |
Towards a Model Checker for NesC and Wireless Sensor Networks. |
ICFEM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhenchang Xing, Jun Sun 0001, Yang Liu, Jin Song Dong |
Differencing Labeled Transition Systems. |
ICFEM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Truong Khanh Nguyen, Jun Sun 0001, Yang Liu, Jin Song Dong |
A model checking framework for hierarchical systems. |
ASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Shang-Wei Lin, Étienne André, Jin Song Dong, Jun Sun 0001, Yang Liu 0003 |
An Efficient Algorithm for Learning Event-Recording Automata. |
ATVA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Manchun Zheng, Jun Sun 0001, David Sanán, Yang Liu, Jin Song Dong, Yu Gu 0001 |
Towards bug-free implementation for wireless sensor networks. |
SenSys |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Shao Jie Zhang, Jun Sun 0001, Jun Pang, Yang Liu 0003, Jin Song Dong |
On Combining State Space Reductions with Global Fairness Assumptions. |
FM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yang Liu, Jun Sun 0001, Jin Song Dong |
PAT 3: An Extensible Architecture for Building Multi-domain Model Checkers. |
ISSRE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Chunqing Chen, Jin Song Dong, Jun Sun 0001, Andrew Martin |
A verification system for interval-based specification languages. |
ACM Trans. Softw. Eng. Methodol. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jin Song Dong, Huibiao Zhu (eds.) |
Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings |
ICFEM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jun Sun 0001, Yang Liu 0003, Jin Song Dong, Geguang Pu, Tian Huat Tan |
Model-Based Methods for Linking Web Service Choreography and Orchestration. |
APSEC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhenchang Xing, Jun Sun 0001, Yang Liu 0003, Jin Song Dong |
SpecDiff: debugging formal specifications. |
ASE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Yang Liu 0003, Jun Sun 0001, Jin Song Dong |
Developing Model Checkers Using PAT. |
ATVA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jit Biswas, Mounir Mokhtari, Jin Song Dong, Philip Lin Kiat Yap |
Mild Dementia Care at Home - Integrating Activity Monitoring, User Interface Plasticity and Scenario Verification. |
ICOST |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Yang Liu 0003, Jun Sun 0001, Jin Song Dong |
Analyzing hierarchical complex real-time systems. |
SIGSOFT FSE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Chunqing Chen, Jin Song Dong, Jun Sun 0001 |
A formal framework for modeling and validating Simulink diagrams. |
Formal Asp. Comput. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jin Song Dong, Jing Sun 0002 |
SCP special issue on the grand challenge - Preface. |
Sci. Comput. Program. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Hui Liang, Jin Song Dong, Jing Sun 0002, W. Eric Wong |
Software monitoring through formal specification animation. |
ISSE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jun Sun 0001, Yang Liu 0003, Jin Song Dong, Xian Zhang |
Verifying Stateful Timed CSP Using Implicit Clocks and Zone Abstraction. |
ICFEM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Yang Liu 0003, Jun Sun 0001, Jin Song Dong |
Scalable Multi-core Model Checking Fairness Enhanced Systems. |
ICFEM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jun Sun 0001, Yang Liu 0003, Abhik Roychoudhury, Shanshan Liu, Jin Song Dong |
Fair Model Checking with Process Counter Abstraction. |
FM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Shao Jie Zhang, Yang Liu 0003, Jun Sun 0001, Jin Song Dong, Wei Chen 0013, Yanhong A. Liu |
Formal Verification of Scalable NonZero Indicators. |
SEKE |
2009 |
DBLP BibTeX RDF |
|
| 1 | Jun Sun 0001, Yang Liu 0003, Jin Song Dong, Jun Pang |
PAT: Towards Flexible Verification under Fairness. |
CAV |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jun Sun 0001, Yang Liu 0003, Jin Song Dong, Chunqing Chen |
Integrating Specification and Programs for System Modeling and Verification. |
TASE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jin Song Dong, Jun Sun 0001 |
Towards Expressive Specification and Efficient Model Checking. |
TASE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jin Song Dong, Ping Hao, Shengchao Qin, Jun Sun 0001, Wang Yi |
Timed Automata Patterns. |
IEEE Trans. Software Eng. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jun Sun 0001, Yang Liu 0003, Jin Song Dong, Jing Sun 0002 |
Compositional encoding for bounded model checking. |
Frontiers of Computer Science in China |
2008 |
DBLP DOI BibTeX RDF |
Communication Sequential Processes (CSP), Linear Temporal Logic (LTL), bounded model checking |
| 1 | Kenji Taguchi, Jin Song Dong |
Formally specifying and verifying mobile agents - model checking mobility: the MobiOZ approach. |
IJAOSE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jun Sun 0001, Yang Liu 0003, Jin Song Dong, Hai H. Wang |
Specifying and Verifying Event-Based Fairness Enhanced Systems. |
ICFEM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jin Song Dong, Jing Sun 0002, Jun Sun 0001, Kenji Taguchi, Xian Zhang |
Specifying and Verifying Sensor Networks: An Experiment of Formal Methods. |
ICFEM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Nwe Ni Tun, Jin Song Dong |
Ontology Generation through the Fusion of Partial Reuse and Relation Extraction. |
KR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Jun Sun 0001, Yang Liu 0003, Jin Song Dong |
Model Checking CSP Revisited: Introducing a Process Analysis Toolkit. |
ISoLA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon Ferndriger, Abraham Bernstein, Jin Song Dong, Yuzhang Feng, Yuan-Fang Li, Jane Hunter |
Enhancing Semantic Web Services with Inheritance. |
International Semantic Web Conference |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jun Sun 0001, Yang Liu 0003, Jin Song Dong, Jing Sun 0002 |
Bounded Model Checking of Compositional Processes. |
TASE |
2008 |
DBLP DOI BibTeX RDF |
Compositional Processes, Tool, Bounded Model Checking |
| 1 | Chunqing Chen, Jin Song Dong, Jun Sun 0001 |
A verification system for timed interval calculus. |
ICSE |
2008 |
DBLP DOI BibTeX RDF |
real-time systems, theorem proving, specification language, pvs |
| 1 | Yang Liu 0003, Jun Sun 0001, Jin Song Dong |
An analyzer for extended compositional process algebras. |
ICSE Companion |
2008 |
DBLP DOI BibTeX RDF |
simulation, model checking, fairness, sat solvers |
| 1 | Jin Song Dong, Yuzhang Feng, Ho-fung Leung |
A Verification Framework for Agent Knowledge. |
ICFEM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Chunqing Chen, Jin Song Dong, Jun Sun 0001 |
Machine-Assisted Proof Support for Validation Beyond Simulink. |
ICFEM |
2007 |
DBLP DOI BibTeX RDF |
Formal Verification, PVS, Simulink, Real-Time Specifications |
| 1 | Hui Liang, Jin Song Dong, Jing Sun 0002 |
Evolution and Runtime Monitoring of Software Systems. |
SEKE |
2007 |
DBLP BibTeX RDF |
|
| 1 | Anh Tuan Luu, Tho T. Quan, Tru H. Cao, Jin Song Dong |
Axiom-oriented Reasoning to Deal with Inconsistency Between Ontology and Knowledge Base. |
URSW |
2007 |
DBLP BibTeX RDF |
|
| 1 | Hai H. Wang, Shengchao Qin, Jun Sun 0001, Jin Song Dong |
Realizing Live Sequence Charts in SystemVerilog. |
TASE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jun Sun 0001, Jin Song Dong |
Design Synthesis from Interaction and State-Based Specifications. |
IEEE Trans. Software Eng. |
2006 |
DBLP DOI BibTeX RDF |
specification, synthesis, live sequence charts, Z language |
| 1 | Ling Yuan, Jin Song Dong, Jing Sun 0002, Hamid Abdul Basit |
Generic Fault Tolerant Software Architecture Reasoning and Customization. |
IEEE Transactions on Reliability |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Alvaro E. Arenas, Jin Song Dong, Andrew Martin, Brian Matthews |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Hai H. Wang, Jin Song Dong, Jing Sun 0002, Jun Sun 0001 |
Reasoning support for Semantic Web ontology family languages using Alloy. |
Multiagent and Grid Systems |
2006 |
DBLP BibTeX RDF |
|
| 1 | Jin Song Dong, Yang Liu 0003, Jun Sun 0001, Xian Zhang |
Verification of Computation Orchestration Via Timed Automata. |
ICFEM |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jin Song Dong, Ping Hao, Jun Sun 0001, Xian Zhang |
A Reasoning Method for Timed CSP Based on Constraint Solving. |
ICFEM |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Chunqing Chen, Jin Song Dong |
Applying Timed Interval Calculus to Simulink Diagrams. |
ICFEM |
2006 |
DBLP DOI BibTeX RDF |
Verification, Z, Simulink, Real-Time Specification |
| 1 | Ling Yuan, Jin Song Dong, Jing Sun 0002 |
Modeling and Customization of Fault Tolerant Architecture using Object-Z/XVCL. |
APSEC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Dorel Lucanu, Yuan-Fang Li, Jin Song Dong |
Semantic Web Languages - Towards an Institutional Perspective. |
Essays Dedicated to Joseph A. Goguen |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jin Song Dong, Yuzhang Feng, Jing Sun 0002, Jun Sun 0001 |
Context Awareness Systems Design and Reasoning. |
ISoLA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Hui Liang, Jin Song Dong, Jing Sun 0002, Roger Duke, Rudolph E. Seviora |
Formal Specification-based Online Monitoring. |
ICECCS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jin Song Dong, Ping Hao, Xian Zhang, Shengchao Qin |
HighSpec: a tool for building and checking OZTA models. |
ICSE |
2006 |
DBLP DOI BibTeX RDF |
verification, timed automata, object-Z, structural design |
| 1 | Jin Song Dong |
From semantic web to expressive software specifications: a modeling languages spectrum. |
ICSE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jin Song Dong, Ping Hao, Brendan P. Mahony |
Formal Designs for Embedded and Hybrid Systems. |
International Journal of Software Engineering and Knowledge Engineering |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jin Song Dong, Ping Hao, Shengchao Qin, Xian Zhang |
The Semantics and Tool Support of OZTA. |
ICFEM |
2005 |
DBLP DOI BibTeX RDF |
Timed Patterns, Tool and Verification, Semantics |
| 1 | Jin Song Dong, Yuzhang Feng, Yuan-Fang Li, Jun Sun 0001 |
A Tools Environment for Developing and Reasoning about Ontologies. |
APSEC |
2005 |
DBLP DOI BibTeX RDF |
ontology, Semantic Web, tool, reasoning |
| 1 | Dorel Lucanu, Yuan-Fang Li, Jin Song Dong |
Soundness proof of Z semantics of OWL using institutions. |
WWW (Special interest tracks and posters) |
2005 |
DBLP DOI BibTeX RDF |
comorphism of institutions, OWL, Z, institution |
| 1 | Jun Sun 0001, Jin Song Dong |
Synthesis of Distributed Processes from Scenario-Based Specifications. |
FM |
2005 |
DBLP DOI BibTeX RDF |
Synthesis, CSP, LSC |
| 1 | Hai H. Wang, Jin Song Dong, Jing Sun 0002, Yuan-Fang Li |
TCOZ Approach to OWL-S Process Model Design. |
SEKE |
2005 |
DBLP BibTeX RDF |
|
| 1 | Dorel Lucanu, Yuan-Fang Li, Jin Song Dong |
Institution Morphisms for Relating OWL and Z. |
SEKE |
2005 |
DBLP BibTeX RDF |
|
| 1 | Hai H. Wang, Jin Song Dong, Jing Sun 0002 |
Reasoning Support for SWRL-FOL Using Alloy. |
SEKE |
2005 |
DBLP BibTeX RDF |
|
| 1 | Jun Sun 0001, Jin Song Dong |
Extracting FSMs from Object-Z Specifications with History Invariants. |
ICECCS |
2005 |
DBLP DOI BibTeX RDF |
Software Specification, FSMs, Object-Z |
| 1 | Jin Song Dong, Roger Duke, Ping Hao |
Integrating Object-Z with Timed Automata. |
ICECCS |
2005 |
DBLP DOI BibTeX RDF |
Specification, Timed Automata, Object-Z |
| 1 | Jin Song Dong, D. Dan |
Software Engineering Approaches to Semantic Web. |
ICECCS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jun Sun 0001, Jin Song Dong |
Model Checking Live Sequence Charts. |
ICECCS |
2005 |
DBLP DOI BibTeX RDF |
Verification, CSP, FDR, LSCs |
| 1 | Xiaohang Wang, Jin Song Dong, Chung-Yau Chin, SankaRavipriya Hettiarachchi, Daqing Zhang |
Semantic Space: An Infrastructure for Smart Spaces. |
IEEE Pervasive Computing |
2004 |
DBLP DOI BibTeX RDF |
Semantic Web, Pervasive computing, context-aware computing, smart space |
| 1 | Jin Song Dong, Ping Hao, Shengchao Qin, Jun Sun 0001, Wang Yi |
Timed Patterns: TCOZ to Timed Automata. |
ICFEM |
2004 |
DBLP DOI BibTeX RDF |
Modeling and specification formalisms |
| 1 | Yue Tang, Jin Song Dong, Jing Sun 0002, Brendan P. Mahony |
Reasoning about Semantic Web in Isabelle/HOL. |
APSEC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jin Song Dong, Yuzhang Feng, Yuan-Fang Li |
Verifying OWL and ORL Ontologies in PVS. |
ICTAC |
2004 |
DBLP DOI BibTeX RDF |
ORL, Semantic Web, OWL, reasoning, PVS |
| 1 | Jin Song Dong, Chew Hung Lee, Hian Beng Lee, Yuan-Fang Li, Hai H. Wang |
A combined approach to checking web ontologies. |
WWW |
2004 |
DBLP DOI BibTeX RDF |
racer, ontologies, semantic web, z, alloy, daml+oil |
| 1 | Jin Song Dong, Yuan-Fang Li, Hai H. Wang |
TCOZ approach to semantic web services design. |
WWW (Alternate Track Papers & Posters) |
2004 |
DBLP DOI BibTeX RDF |
semantic web, formal methods, DAML-S, DAML+OIL, TCOZ |
| 1 | Jin Song Dong, Shengchao Qin, Jun Sun 0001 |
Generating MSCs from an Integrated Formal Specification Language. |
IFM |
2004 |
DBLP DOI BibTeX RDF |
Requirement Engineering, MSC, TCOZ |
| 1 | Kenji Taguchi, Jin Song Dong, Gabriel Ciobanu |
Relating pi-calculus to Object-Z. |
ICECCS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jin Song Dong |
Software Modeling Techniques and the Semantic Web. (PDF / PS) |
ICSE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jin Song Dong, Chew Hung Lee, Yuan-Fang Li, Hai H. Wang |
Verifying DAML+OIL and Beyond in Z/EVES. |
ICSE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jin Song Dong, Jim Woodcock (eds.) |
Formal Methods and Software Engineering, 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings |
ICFEM |
2003 |
DBLP BibTeX RDF |
|
| 1 | Mark Utting, Ian Toyn, Jing Sun 0002, Andrew Martin, Jin Song Dong, Nicholas Daley, David W. Currie |
ZML: XML Support for Standard Z. |
ZB |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Hong Li Yang, Jin Song Dong, Ke Gang Hao, Jun Gang Han |
Formalizing Semantics of XSLT Using Object-Z. |
APWeb |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Jin Song Dong, Jing Sun 0002, Hai H. Wang |
Checking and Reasoning about Semantic Web through Alloy. |
FME |
2003 |
DBLP DOI BibTeX RDF |
Semantic Web, Alloy |
| 1 | Shengchao Qin, Jin Song Dong, Wei-Ngan Chin |
A Semantic Foundation for TCOZ in Unifying Theories of Programming. |
FME |
2003 |
DBLP DOI BibTeX RDF |
UTP, integrated formal specifications, semantics |
| 1 | Jin Song Dong, Jun Sun 0001, Hai H. Wang, Chew Hung Lee, Hian Beng Lee |
Analysing Web Ontology in Alloy: A Military Case Study. |
SEKE |
2003 |
DBLP BibTeX RDF |
|
| 1 | Brendan P. Mahony, Jin Song Dong |
Deep Semantic Links of TCSP and Object-Z: TCOZ Approach. |
Formal Asp. Comput. |
2002 |
DBLP DOI BibTeX RDF |
TCSP, Integrated Formal Methods, Object-Z, TCOZ |
| 1 | Jing Sun 0002, Jin Song Dong, Jing Liu, Hai H. Wang |
A Formal Object Approach to the Design of ZML. |
Ann. Software Eng. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Jin Song Dong, Jing Sun 0002, Hai H. Wang |
Z Approach to Semantic Web. |
ICFEM |
2002 |
DBLP DOI BibTeX RDF |
Semantic Web, Z |
| 1 | Kenji Taguchi, Jin Song Dong |
An Overview of Mobile Object-Z. |
ICFEM |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Jin Song Dong, Yuan-Fang Li, Jing Sun 0002, Jun Sun 0001, Hai H. Wang |
XML-Based Static Type Checking and Dynamic Visualization for TCOZ. |
ICFEM |
2002 |
DBLP DOI BibTeX RDF |
TCOZ tool support, XML/XSL, UML/XMI |
| 1 | Jing Sun 0002, Jin Song Dong |
Specifying and Reasoning about Generic Architecture in TCOZ. |
APSEC |
2002 |
DBLP DOI BibTeX RDF |
integrated formal specification and verification |
| 1 | Jin Song Dong, Shaoying Liu |
The Semantics of Extended SOFL. |
COMPSAC |
2002 |
DBLP DOI BibTeX RDF |
Reusable Semantics, Object-Oriented Methods, Structured Methods |
| 1 | Jin Song Dong, Jing Sun 0002, Hai H. Wang |
Semantic Web for Extending and Linking Formalisms. |
FME |
2002 |
DBLP DOI BibTeX RDF |
specification environment, Semantic Web |
| 1 | Sergey A. Stupnikov, Leonid A. Kalinichenko, Jin Song Dong |
Applying CSP-like Workflow Process Specifications for their Refinement in AMN by Pre-existing Workflows. |
ADBIS Research Communications |
2002 |
DBLP BibTeX RDF |
|
| 1 | Jing Liu, Jin Song Dong, Brendan P. Mahony, Kun Shi |
Linking UML with Integrated Formal Techniques. |
Unified Modeling Language: Systems Analysis, Design and Development Issues |
2001 |
DBLP BibTeX RDF |
|
| 1 | Jing Sun 0002, Jin Song Dong, Jing Liu, Hai H. Wang |
An XML/XSL Approach to Visualize and Animate TCOZ. |
APSEC |
2001 |
DBLP DOI BibTeX RDF |
specification animation, XML/XSL, UML, Formal methods, XMI, TCOZ, Oz |
| 1 | Jing Sun 0002, Jin Song Dong, Jing Liu, Hai H. Wang |
Object-Z web environment and projections to UML. |
WWW |
2001 |
DBLP DOI BibTeX RDF |
XML/XSL/XMI, XML, UML, UML, WEB, object-Z |
| 1 | Jin Song Dong |
State, Event, Time and Diagram in System Modeling. |
ICSE |
2001 |
DBLP BibTeX RDF |
|
| 1 | Brendan P. Mahony, Jin Song Dong |
Timed Communicating Object Z. |
IEEE Trans. Software Eng. |
2000 |
DBLP DOI BibTeX RDF |
Software/system specification, real-time systems, formal methods, concurrency, CSP, object-oriented modeling, Z |
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")