38 results
Search Results
2. System Analysis and Modeling: About Models : 6th International Workshop, SAM 2010, Oslo, Norway, October 4-5, 2010, Revised Selected Papers
3. System Analysis and Modeling: Language Profiles : 5th International Workshop, SAM 2006, Kaiserslautern, Germany, May 31 - June 2, 2006, Revised Selected Papers
4. Algorithms for Sensor Systems : 6th International Workshop on Algorithms for Sensor Systems, Wireless Ad Hoc Networks, and Autonomous Mobile Entities, ALGOSENSORS 2010, Bordeaux, France, July 5, 2010, Revised Selected Papers
5. High Performance Computing and Applications : Second International Conference, HPCA 2009, Shanghai, China, August 10-12, 2009, Revised Selected Papers
6. Formal Methods for Industrial Critical Systems : 13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, Revised Selected Papers
7. Model-Driven Development of Reliable Automotive Services : Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers
8. Self-Adaptive Software : Second International Workshop, IWSAS 2001, Balatonfüred, Hungary, May 17-19, 2001, Revised Papers
9. Formal Approaches to Agent-Based Systems : Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers
10. Formal Methods: Foundations and Applications : 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4–8, 2023, Proceedings
11. Parallel and Distributed Computing, Applications and Technologies : 22nd International Conference, PDCAT 2021, Guangzhou, China, December 17–19, 2021, Proceedings
12. PRIMA 2022: Principles and Practice of Multi-Agent Systems : 24th International Conference, Valencia, Spain, November 16–18, 2022, Proceedings
13. Formal Aspects of Component Software : 17th International Conference, FACS 2021, Virtual Event, October 28–29, 2021, Proceedings
14. Static Analysis : 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17–19, 2021, Proceedings
15. Static Analysis : 27th International Symposium, SAS 2020, Virtual Event, November 18–20, 2020, Proceedings
16. Applied Computer Sciences in Engineering : 7th Workshop on Engineering Applications, WEA 2020, Bogota, Colombia, October 7–9, 2020, Proceedings
17. Advances in Swarm Intelligence : 9th International Conference, ICSI 2018, Shanghai, China, June 17-22, 2018, Proceedings, Part I
18. Computer Safety, Reliability, and Security : 37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21, 2018, Proceedings
19. Testing Software and Systems : 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings
20. Testing Software and Systems : 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings
21. Testing Software and Systems : 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings
22. Testing Software and Systems : 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings
23. Testing Software and Systems : 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings
24. Agents for Games and Simulations II : Trends in Techniques, Concepts and Design
25. Computer Safety, Reliability, and Security : 27th International Conference, SAFECOMP 2008 Newcastle Upon Tyne, UK, September 22-25, 2008 Proceedings
26. Principles of Distributed Systems : 11th International Conference, OPODIS 2007, Guadeloupe, French West Indies, December 17-20, 2007, Proceedings
27. Self-Stabilizing Systems : 6th International Symposium, SSS 2003, San Francisco, CA, USA, June 24-25, 2003, Proceedings
28. Automated Technology for Verification and Analysis : 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings
29. Automated Technology for Verification and Analysis : 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings
30. Transformation-Based Reactive Systems Development : 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, Palma, Mallorca, Spain, May 21 - 23, 1997, Proceedings
31. Formal Methods: Foundations and Applications : 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6–9, 2022, Proceedings
32. SDL 2003: System Design : 11th International SDL Forum, Stuttgart, Germany, July 1-4, 2003, Proceedings
33. Formal Methods for Performance Evaluation : 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 8-June 2, 2007, Advanced Lectures
34. Formal Methods for Hardware Verification : 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures
35. Automata, Languages and Programming : 27th International Colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000 Proceedings
36. SDL 2001: Meeting UML : 10th International SDL Forum Copenhagen, Denmark, June 27-29, 2001. Proceedings
37. Evolvable Systems: From Biology to Hardware : 9th International Conference, ICES 2010, York, UK, September 6-8, 2010, Proceedings
38. Self-Stabilizing Systems : 5th International Workshop, WSS 2001, Lisbon, Portugal, October 1-2, 2001 Proceedings
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.