Showing 241 - 242 results of 242 for search '"Verification."', query time: 0.01s
Refine Results
-
241
Automated verification of Classical Soundness in Robustness Diagrams with Loop and Time Controls via L-safeness by Asoy, Andrei Luz B.
Call Number: loading...
Located: loading...Thesis loading... -
242
An automated verification of the notions of soundness of robustness diagram with loop and time controls by Ejercito, James Andrew C.
Call Number: loading...
Located: loading...Thesis loading...
Search Tools:
Refine Results
Page will reload when a filter is selected or excluded.- College of Engineering Library II 44 results 44
- Diliman Main Library: Info. Services & Instruction Section 17 results 17
- UP Baguio Main Library 4 results 4
- Cesar E.A. Virata School of Business 3 results 3
- Diliman Main Library: Serials Section 3 results 3
- Diliman Main Library: Social Sciences Section 3 results 3
- UP Tacloban Library 3 results 3
- College of Law 2 results 2
- College of Engineering Library I 1 results 1
- College of Fisheries and Ocean Sciences - Miagao 1 results 1
- College of Science and Mathematics 1 results 1
- Diliman Main Library: University Archives 1 results 1
- Institute of Mathematics 1 results 1
- National College of Public Administration and Governance 1 results 1
- National Institute of Physics 1 results 1
- School of Economics 1 results 1
- School of Statistics 1 results 1
- UPV Main Library - Miagao 1 results 1
- see all…
- Q - Science 21 results 21
- T - Technology 6 results 6
- L - Education 5 results 5
- U - Military Science 5 results 5
- H - Social Science 3 results 3
- A - General Works 2 results 2
- B - Philosophy, Psychology, Religion 1 results 1
- J - Political Science 1 results 1
- M - Music 1 results 1
- R - Medicine 1 results 1
- S - Agriculture 1 results 1
- see all…
- Verification 67 results 67
- Computer software 43 results 43
- Electronic books 32 results 32
- Integrated circuits 14 results 14
- Software engineering 10 results 10
- Formal methods (Computer science) 9 results 9
- Validation 9 results 9
- Computer programs 7 results 7
- Software architecture 7 results 7
- Design and construction 6 results 6
- Computer hardware description languages 5 results 5
- Computer systems 4 results 4
- Data processing 4 results 4
- Electronic digital computers 4 results 4
- Reliability 4 results 4
- System analysis 4 results 4
- Arms control 3 results 3
- Computer-aided design 3 results 3
- Development 3 results 3
- Expert systems (Computer science) 3 results 3
- Mathematical models 3 results 3
- Nuclear arms control 3 results 3
- Testing 3 results 3
- Ada (Computer program language) 2 results 2
- Auditing 2 results 2
- Bamboo harvesting 2 results 2
- Bamboo industry 2 results 2
- Benefit-cost analysis 2 results 2
- Certificate of verification 2 results 2
- Computer input-output equipment 2 results 2
- see all…
- SpringerLink (Online service) 27 results 27
- ACM Special Interest Group on Programming Languages 3 results 3
- Association for Computing Machinery. Special Interest Group on Computer Science Education 3 results 3
- Association for Computing Machinery. Special Interest Group on Computers and Society 3 results 3
- Association for Computing Machinery. Special Interest Group on Embedded Systems 3 results 3
- Drechsler, Rolf 3 results 3
- FDL (Conference) Paris, France) 3 results 3
- Goldstein, H. 3 results 3
- Holt, Jon 3 results 3
- Mehta, Ashok B. 3 results 3
- SIGAPP 3 results 3
- SIGAda 3 results 3
- Wille, Robert 3 results 3
- ACM Sigsoft 2 results 2
- Alborida, Lorie M. 2 results 2
- Aquino, Leslie Ann G. 2 results 2
- Capinpin, Hanna Leen L. 2 results 2
- Codilan, Analyn L. 2 results 2
- Daracan, Vivian C. 2 results 2
- Dasso, Aristides 1943- 2 results 2
- Devera, Edgar E. 2 results 2
- Dolom, Priscila C. 2 results 2
- Funes, Ana 1964- 2 results 2
- Malinao, Jasmine A. 2 results 2
- Palacpac, Aresna B. 2 results 2
- Perry, Simon 2 results 2
- Tolentino, Noel L. 2 results 2
- Uchitel, Sebastian 2 results 2
- Villanueva, Ma. Magdalena B. 2 results 2
- Ada-Europe International Conference on Reliable Software Technologies 1 results 1
- see all…