Formal Analysis for Dependability Properties: the Time-Triggered Architecture Example
8th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2001)
KB-Vision: A Tool for Graphical Manipulation and Visualization of Domain Models
Publication export from The School of Electronics and Computer Science, University of Southampton
This ontology contains information detailing publications held by The School of Electronics and Computer Science, University of Southampton
FST TCS 2001: Foundations of Software Technology and Theoretical Computer Sience
Proceedings of the 6th European Conference on Planning (ECP-01)
Turning Shoe Information to Knowledge of Technology and Deals
Aktors
en_US
Take a look at Nike and Adidas Shoe technology, and use Finish Line coupons to save money on athletic shoes and performance apparel
website
From Abstract Crisis to Concrete Relief -- A Preliminary Report on Combining State Abstraction and HTN Planning
A Mechanically Verified Compiling Specification for a Lisp Compiler
Proc. of the Tenth European-Japanese Conference on Information Modelling and Knowledge Bases (EJC 2000)
Automated Reasoning. First International Joint Conference (IJCAR'01), Siena, Italy, June 18--23, 2001, Proceedings