Filters








3,937 Hits in 4.6 sec

Preface

Alexandre Mota, Arnaldo Moura
2005 Electronical Notes in Theoretical Computer Science  
In 2004, the Brazilian Symposium on Formal Methods was held jointly with the Pernambuco School on Software Engineering.  ...  The Brazilian Symposium on Formal Methods (SBMF) 2004 is the seventh of a series of events devoted to the dissemination of the development and use of formal methods for the design and verification of computational  ...  We also appreciate the support of our sponsors which turned out SBMF 2004 a reality; a recognition of the importance of this event for the Formal Methods community.  ... 
doi:10.1016/j.entcs.2005.03.001 fatcat:yictpxwfzffovl72sfcd4uj744

Letter from the Editor-in-Chief

Jaelson F. B. Castro
2006 Journal of the Brazilian Computer Society  
The first three papers have been chosen by the program committee of 2005 Brazilian Symposium on Computer Graphics & Image Processing (SIBGRAPI05) and 2004 Brazilian Symposium on Formal Methods (SBMF04)  ...  The method presented combines and generalizes two testing methods presented in previous work, namely: 1) a method for synthesizing test cases for (non-symbolic) real-time systems, and 2) a method for synthesizing  ...  The first three papers have been chosen by the program committee of 2005 Brazilian Symposium on Computer Graphics & Image Processing (SIBGRAPI05) and 2004 Brazilian Symposium on Formal Methods (SBMF04)  ... 
doi:10.1590/s0104-65002006000200001 fatcat:3zpsacudzjf7fkor5k6oas55aa

Letter from the editor-in-chief

Jaelson F. B. Castro
2006 Journal of the Brazilian Computer Society  
The first three papers have been chosen by the program committee of 2005 Brazilian Symposium on Computer Graphics & Image Processing (SIBGRAPI05) and 2004 Brazilian Symposium on Formal Methods (SBMF04)  ...  The method presented combines and generalizes two testing methods presented in previous work, namely: 1) a method for synthesizing test cases for (non-symbolic) real-time systems, and 2) a method for synthesizing  ...  The first three papers have been chosen by the program committee of 2005 Brazilian Symposium on Computer Graphics & Image Processing (SIBGRAPI05) and 2004 Brazilian Symposium on Formal Methods (SBMF04)  ... 
doi:10.1590/s0104-65002006000300001 fatcat:dr6q2ijrujfynesmelnlp55gdi

Letter from the Editor-in-Chief

Jaelson F. B. Castro
2006 Journal of the Brazilian Computer Society  
The first three papers have been chosen by the program committee of 2005 Brazilian Symposium on Computer Graphics & Image Processing (SIBGRAPI05) and 2004 Brazilian Symposium on Formal Methods (SBMF04)  ...  The method presented combines and generalizes two testing methods presented in previous work, namely: 1) a method for synthesizing test cases for (non-symbolic) real-time systems, and 2) a method for synthesizing  ...  The first three papers have been chosen by the program committee of 2005 Brazilian Symposium on Computer Graphics & Image Processing (SIBGRAPI05) and 2004 Brazilian Symposium on Formal Methods (SBMF04)  ... 
doi:10.1590/s0104-65002006000100001 fatcat:hvu2bmbmofayngmdpxxoo2sfbq

Letter from the Editor-in-Chief

1997 The Information Society  
The first three papers have been chosen by the program committee of 2005 Brazilian Symposium on Computer Graphics & Image Processing (SIBGRAPI05) and 2004 Brazilian Symposium on Formal Methods (SBMF04)  ...  The method presented combines and generalizes two testing methods presented in previous work, namely: 1) a method for synthesizing test cases for (non-symbolic) real-time systems, and 2) a method for synthesizing  ...  The first three papers have been chosen by the program committee of 2005 Brazilian Symposium on Computer Graphics & Image Processing (SIBGRAPI05) and 2004 Brazilian Symposium on Formal Methods (SBMF04)  ... 
doi:10.1080/019722497129232 fatcat:en6acfj5dfehdpoiawpuawgdt4

Letter from the Editor-in-Chief

2001 The Information Society  
The first three papers have been chosen by the program committee of 2005 Brazilian Symposium on Computer Graphics & Image Processing (SIBGRAPI05) and 2004 Brazilian Symposium on Formal Methods (SBMF04)  ...  The method presented combines and generalizes two testing methods presented in previous work, namely: 1) a method for synthesizing test cases for (non-symbolic) real-time systems, and 2) a method for synthesizing  ...  The first three papers have been chosen by the program committee of 2005 Brazilian Symposium on Computer Graphics & Image Processing (SIBGRAPI05) and 2004 Brazilian Symposium on Formal Methods (SBMF04)  ... 
doi:10.1080/019722401750067388 fatcat:lwlhba2lfngmfob5rpyvtly7fu

Letter from the Editor-in-Chief

2008 Journal of Chemical Ecology  
The first three papers have been chosen by the program committee of 2005 Brazilian Symposium on Computer Graphics & Image Processing (SIBGRAPI05) and 2004 Brazilian Symposium on Formal Methods (SBMF04)  ...  The method presented combines and generalizes two testing methods presented in previous work, namely: 1) a method for synthesizing test cases for (non-symbolic) real-time systems, and 2) a method for synthesizing  ...  The first three papers have been chosen by the program committee of 2005 Brazilian Symposium on Computer Graphics & Image Processing (SIBGRAPI05) and 2004 Brazilian Symposium on Formal Methods (SBMF04)  ... 
doi:10.1007/s10886-008-9505-4 pmid:18575939 fatcat:fdw455z6rbcsbdhbye6rmgddom

Letter From the Editor-in-Chief

2016 Journal of the American Academy of Child and Adolescent Psychiatry  
The first three papers have been chosen by the program committee of 2005 Brazilian Symposium on Computer Graphics & Image Processing (SIBGRAPI05) and 2004 Brazilian Symposium on Formal Methods (SBMF04)  ...  The method presented combines and generalizes two testing methods presented in previous work, namely: 1) a method for synthesizing test cases for (non-symbolic) real-time systems, and 2) a method for synthesizing  ...  The first three papers have been chosen by the program committee of 2005 Brazilian Symposium on Computer Graphics & Image Processing (SIBGRAPI05) and 2004 Brazilian Symposium on Formal Methods (SBMF04)  ... 
doi:10.1016/s0890-8567(16)31793-2 fatcat:wx2xuxow5fg6fp7gnrtcntjhqi

Letter From the Editor-in-Chief

1983 Journal of Thermal Insulation  
The first three papers have been chosen by the program committee of 2005 Brazilian Symposium on Computer Graphics & Image Processing (SIBGRAPI05) and 2004 Brazilian Symposium on Formal Methods (SBMF04)  ...  The method presented combines and generalizes two testing methods presented in previous work, namely: 1) a method for synthesizing test cases for (non-symbolic) real-time systems, and 2) a method for synthesizing  ...  The first three papers have been chosen by the program committee of 2005 Brazilian Symposium on Computer Graphics & Image Processing (SIBGRAPI05) and 2004 Brazilian Symposium on Formal Methods (SBMF04)  ... 
doi:10.1177/109719638300600401 fatcat:6zhzrn7a35hw3cx5lxfp4ukka4

Letter From the Editor-in-Chief

1985 Journal of Thermal Insulation  
The first three papers have been chosen by the program committee of 2005 Brazilian Symposium on Computer Graphics & Image Processing (SIBGRAPI05) and 2004 Brazilian Symposium on Formal Methods (SBMF04)  ...  The method presented combines and generalizes two testing methods presented in previous work, namely: 1) a method for synthesizing test cases for (non-symbolic) real-time systems, and 2) a method for synthesizing  ...  The first three papers have been chosen by the program committee of 2005 Brazilian Symposium on Computer Graphics & Image Processing (SIBGRAPI05) and 2004 Brazilian Symposium on Formal Methods (SBMF04)  ... 
doi:10.1177/109719638500800401 fatcat:h46motoqpbd5bjfgbxsqa2zn3q

Letter from the Editor-in-Chief

1999 The Information Society  
The first three papers have been chosen by the program committee of 2005 Brazilian Symposium on Computer Graphics & Image Processing (SIBGRAPI05) and 2004 Brazilian Symposium on Formal Methods (SBMF04)  ...  The method presented combines and generalizes two testing methods presented in previous work, namely: 1) a method for synthesizing test cases for (non-symbolic) real-time systems, and 2) a method for synthesizing  ...  The first three papers have been chosen by the program committee of 2005 Brazilian Symposium on Computer Graphics & Image Processing (SIBGRAPI05) and 2004 Brazilian Symposium on Formal Methods (SBMF04)  ... 
doi:10.1080/019722499128529 fatcat:d62geqzphrholdfxe3mbm4fs2i

Letter from the Editor-in-Chief

1999 The Information Society  
The first three papers have been chosen by the program committee of 2005 Brazilian Symposium on Computer Graphics & Image Processing (SIBGRAPI05) and 2004 Brazilian Symposium on Formal Methods (SBMF04)  ...  The method presented combines and generalizes two testing methods presented in previous work, namely: 1) a method for synthesizing test cases for (non-symbolic) real-time systems, and 2) a method for synthesizing  ...  The first three papers have been chosen by the program committee of 2005 Brazilian Symposium on Computer Graphics & Image Processing (SIBGRAPI05) and 2004 Brazilian Symposium on Formal Methods (SBMF04)  ... 
doi:10.1080/019722499128367 fatcat:blqdoxe4ozernfannqs37gfrpy

Letter From the Editor-in-Chief

1989 Journal of Thermal Insulation  
The first three papers have been chosen by the program committee of 2005 Brazilian Symposium on Computer Graphics & Image Processing (SIBGRAPI05) and 2004 Brazilian Symposium on Formal Methods (SBMF04)  ...  The method presented combines and generalizes two testing methods presented in previous work, namely: 1) a method for synthesizing test cases for (non-symbolic) real-time systems, and 2) a method for synthesizing  ...  The first three papers have been chosen by the program committee of 2005 Brazilian Symposium on Computer Graphics & Image Processing (SIBGRAPI05) and 2004 Brazilian Symposium on Formal Methods (SBMF04)  ... 
doi:10.1177/109719638901300101 fatcat:3cp7plih3va2jdpkimw3usimeq

Letter from the Editor-in-Chief

2000 The Information Society  
The first three papers have been chosen by the program committee of 2005 Brazilian Symposium on Computer Graphics & Image Processing (SIBGRAPI05) and 2004 Brazilian Symposium on Formal Methods (SBMF04)  ...  The method presented combines and generalizes two testing methods presented in previous work, namely: 1) a method for synthesizing test cases for (non-symbolic) real-time systems, and 2) a method for synthesizing  ...  The first three papers have been chosen by the program committee of 2005 Brazilian Symposium on Computer Graphics & Image Processing (SIBGRAPI05) and 2004 Brazilian Symposium on Formal Methods (SBMF04)  ... 
doi:10.1080/01972240050133625 fatcat:hx6hpfoe4zhmlbkfapeilh6za4

Letter from the Editor-in-Chief

1993 Journal of International Business Studies  
The first three papers have been chosen by the program committee of 2005 Brazilian Symposium on Computer Graphics & Image Processing (SIBGRAPI05) and 2004 Brazilian Symposium on Formal Methods (SBMF04)  ...  The method presented combines and generalizes two testing methods presented in previous work, namely: 1) a method for synthesizing test cases for (non-symbolic) real-time systems, and 2) a method for synthesizing  ...  The first three papers have been chosen by the program committee of 2005 Brazilian Symposium on Computer Graphics & Image Processing (SIBGRAPI05) and 2004 Brazilian Symposium on Formal Methods (SBMF04)  ... 
doi:10.1057/jibs.1993.46 fatcat:xr47okiohfhfbmoczibcjahkhy
« Previous Showing results 1 — 15 out of 3,937 results